HAREL, DAVID: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The General, the Abstract, and the Generic in Advanced Mathematics

Guershon Harel and David Tall

Journal:

For the Learning of Mathematics

Year:

1991

Language:

english

File:

PDF, 1.26 MB

english, 1991

2

Beyond the Gene

Fox Keller, Evelyn, Harel, David, Zwaka, Thomas

Journal:

Year:

2007

Language:

english

File:

PDF, 203 KB

english, 2007

3

A multi-scale algorithm for drawing graphs nicely

Ronny Hadany, David Harel

Journal:

Discrete Applied Mathematics

Year:

2001

Language:

english

File:

PDF, 984 KB

english, 2001

4

Characterizing Second Order Logic with First Order Quantifiers

Journal:

Mathematical Logic Quarterly

Year:

1979

Language:

english

File:

PDF, 257 KB

english, 1979

5

Clients' reasons for terminating psychotherapy: A quantitative and qualitative inquiry

David Roe, Rachel Dekel, Galit Harel, Shmuel Fennig

Journal:

Psychology and Psychotherapy: Theory, Research and Practice

Year:

2006

Language:

english

File:

PDF, 111 KB

english, 2006

6

Process logic: Expressiveness, decidability, completeness

David Harel, Dexter Kozen, Rohit Parikh

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.66 MB

english, 1982

7

Statecharts: a visual formalism for complex systems

Journal:

Science of Computer Programming

Year:

1987

Language:

english

File:

PDF, 2.13 MB

english, 1987

8

Horn clause queries and generalizations

Ashok K. Chandra, David Harel

Journal:

The Journal of Logic Programming

Year:

1985

Language:

english

File:

PDF, 1.06 MB

english, 1985

9

Dual-Tap Computational Photography Image Sensor With Per-Pixel Pipelined Digital Memory for Intra-Frame Coded Multi-Exposure

Sarhangnejad, Navid, Katic, Nikola, Xia, Zhengfan, Wei, Mian, Gusev, Nikita, Dutta, Gairik, Gulve, Rahul, Li, Peter Zhi Xuan, Ke, Hui Feng, Haim, Harel, Moreno-Garcia, Manuel, Stoppa, David, Kutulakos

Journal:

IEEE Journal of Solid-State Circuits

Year:

2019

Language:

english

File:

PDF, 5.64 MB

english, 2019

10

Clients' feelings during termination of psychodynamically oriented psychotherapy

Roe, David, Dekel, Rachel, Harel, Galit, Fennig, Shmuel, Fennig, Silvana

Journal:

Bulletin of the Menninger Clinic

Year:

2006

Language:

english

File:

PDF, 154 KB

english, 2006

11

Come, Let’s Play || The Language: Live Sequence Charts (LSCs)

Harel, David, Marelly, Rami

Year:

2003

Language:

english

File:

PDF, 2.70 MB

english, 2003

12

The Potential of Microwave Communication Networks to Detect Dew—Experimental Study

Harel, Oz, David, Noam, Alpert, Pinhas, Messer, Hagit

Journal:

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing

Year:

2015

Language:

english

File:

PDF, 797 KB

english, 2015

13

A metric for odorant comparison

Haddad, Rafi, Khan, Rehan, Takahashi, Yuji K, Mori, Kensaku, Harel, David, Sobel, Noam

Journal:

Year:

2008

Language:

english

File:

PDF, 169 KB

english, 2008

14

Response guided therapy for reducing duration of direct acting antivirals in chronic hepatitis C infected patients: a Pilot study

Etzion, Ohad, Dahari, Harel, Yardeni, David, Issachar, Assaf, Nevo-Shor, Anat, Cohen-Naftaly, Michal, Ashur, Yaffa, Uprichard, Susan L., Arbib, Orly Sneh, Munteanu, Daniela, Braun, Marius, Cotler, Sco

Journal:

Scientific Reports

Year:

2020

File:

PDF, 1.23 MB

2020

15

The quest for runware: on compositional, executable and intuitive models

David Harel,Assaf Marron

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 319 KB

english, 2012

16

Induction of Systemic Resistance in Plants by Biochar, a Soil-Applied Carbon Sequestering Agent

Elad, Yigal, David, Dalia Rav, Harel, Yael Meller, Borenshtein, Menahem, Kalifa, Hananel Ben, Silber, Avner, Graber, Ellen R.

Journal:

Year:

2010

Language:

english

File:

PDF, 557 KB

english, 2010

17

[ACM Press the 4th International Workshop - Portland, Oregon, USA (2014.10.20-2014.10.20)] Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control - AGERE! '14 - Scaling-Up Behavioral Programming

Harel, David, Katz, Guy

Year:

2014

Language:

english

File:

PDF, 599 KB

english, 2014

18

A measure of smell enables the creation of olfactory metamers

Ravia, Aharon, Snitz, Kobi, Honigstein, Danielle, Finkel, Maya, Zirler, Rotem, Perl, Ofer, Secundo, Lavi, Laudamiel, Christophe, Harel, David, Sobel, Noam

Journal:

Year:

2020

File:

PDF, 8.31 MB

2020

19

[ACM Press the fourteenth annual ACM symposium - San Francisco, California, United States (1982.05.05-1982.05.07)] Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 - A probabilistic dynamic logic

Feldman, Yishai A., Harel, David

Year:

1982

Language:

english

File:

PDF, 936 KB

english, 1982

20

Mathematical modeling of viral kinetics under immune control during primary HIV-1 infection

David Burg, Libin Rong, Avidan U. Neumann, Harel Dahari

Journal:

Journal of Theoretical Biology

Year:

2009

Language:

english

File:

PDF, 403 KB

english, 2009

21

On statecharts with overlapping

Harel, David, Kahana, Chaim-arie

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1992

Language:

english

File:

PDF, 1.13 MB

english, 1992

22

SAE Technical Paper Series [SAE International WCX World Congress Experience - (APR. 10, 2018)] SAE Technical Paper Series - Mitigating Unknown Cybersecurity Threats in Performance Constrained Electronic Control Units

Harel, Assaf, Ben David, Tal, Kashani, Ameer, Iyer, Gopalakrishnan, Motonori, Ando, Masumi, Egawa

Year:

2018

Language:

english

File:

PDF, 720 KB

english, 2018

23

A closer examination of three small-sample approximations to the multiple-imputation degrees of freedom, erratum

Wagstaff, David A., Harel, Ofer

Journal:

The Stata Journal: Promoting communications on statistics and Stata

Year:

2019

File:

PDF, 121 KB

2019

24

Associations between mother–child interaction and children's later self and mother feature knowledge

Judith Harel, David Oppenheim, Emanuel Tirosh, Motti Gini

Journal:

Infant Mental Health Journal

Year:

1999

Language:

english

File:

PDF, 132 KB

english, 1999

25

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 4199 || Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages

Nierstrasz, Oscar, Whittle, Jon, Harel, David, Reggio, Gianna

Year:

2006

Language:

english

File:

PDF, 380 KB

english, 2006

26

The African Turquoise Killifish Genome Provides Insights into Evolution and Genetic Architecture of Lifespan

Valenzano, Dario Riccardo, Benayoun, Bérénice A., Singh, Param Priya, Zhang, Elisa, Etter, Paul D., Hu, Chi-Kuo, Clément-Ziza, Mathieu, Willemsen, David, Cui, Rongfeng, Harel, Itamar, Machado, Ben E.,

Journal:

Year:

2015

Language:

english

File:

PDF, 7.38 MB

english, 2015

27

Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy

Sandak, Billie, Gilboa, Avi, Harel, David

Journal:

Frontiers in Psychology

Year:

2020

File:

PDF, 11.05 MB

2020

28

What (else) should CS educators know?

Gal-Ezer, Judith, Harel, David

Journal:

Communications of the ACM

Year:

1998

Language:

english

File:

PDF, 202 KB

english, 1998

29

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Scenario-based programming: reducing the cognitive load, fostering abstract thinking

Alexandron, Giora, Armoni, Michal, Gordon, Michal, Harel, David

Year:

2014

Language:

english

File:

PDF, 396 KB

english, 2014

30

Rationalizable Strategies for the NavigatorâTargetâMissile Game

Harel, Meir, Moshaiov, Amiram, Alkaher, David

Journal:

Journal of Guidance Control and Dynamics

Year:

2020

File:

PDF, 1.99 MB

2020

31

[IEEE 2012 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - Brisbane, Australia (2012.06.10-2012.06.15)] 2012 IEEE International Conference on Fuzzy Systems - A software engineering framework for switched fuzzy systems

Harel, David, Marron, Assaf, Nissim, Amir, Weiss, Gera

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

32

Dual-Tap Computational Photography Image Sensor With Per-Pixel Pipelined Digital Memory for Intra-Frame Coded Multi-Exposure

Sarhangnejad, Navid, Katic, Nikola, Xia, Zhengfan, Wei, Mian, Gusev, Nikita, Dutta, Gairik, Gulve, Rahul, Li, Peter Zhi Xuan, Ke, Hui Feng, Haim, Harel, Moreno-Garcia, Manuel, Stoppa, David, Kutulakos

Journal:

IEEE Journal of Solid-State Circuits

Year:

2019

File:

PDF, 5.64 MB

2019

33

Explaining a complex living system: dynamics, multi-scaling and emergence

Cohen, Irun R., Harel, David

Journal:

Journal of The Royal Society Interface

Year:

2007

Language:

english

File:

PDF, 485 KB

english, 2007

34

Emergent Dynamics of Thymocyte Development and Lineage Determination

Efroni, Sol, Harel, David, Cohen, Irun R.

Journal:

PLoS Computational Biology

Year:

2007

Language:

english

File:

PDF, 1.14 MB

english, 2007

35

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - On composing and proving the correctness of reactive behavior

Harel, David, Kantor, Amir, Katz, Guy, Marron, Assaf, Mizrahi, Lior, Weiss, Gera

Year:

2013

Language:

english

File:

PDF, 669 KB

english, 2013

36

Predicting the Receptive Range of Olfactory Receptors

Haddad, Rafi, Carmel, Liran, Sobel, Noam, Harel, David

Journal:

PLoS Computational Biology

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

37

[ACM Press the compilation of the co-located workshops - Portland, Oregon, USA (2011.10.23-2011.10.24)] Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 - SPLASH '11 Workshops - Behavioral programming, decentralized control, and multiple time scales

Harel, David, Marron, Assaf, Wiener, Guy, Weiss, Gera

Year:

2011

Language:

english

File:

PDF, 864 KB

english, 2011

38

[IEEE 2020 IEEE Aerospace Conference - Big Sky, MT, USA (2020.3.7-2020.3.14)] 2020 IEEE Aerospace Conference - Extended Navigation Capabilities for a Future Mars Science Helicopter Concept

Delaune, Jeff, Brockers, Roland, Bayard, David S., Dor, Harel, Hewitt, Robert, Sawoniewicz, Jacek, Kubiak, Gerik, Tzanetos, Theodore, Matthies, Larry, Balaram, J.

Year:

2020

File:

PDF, 9.39 MB

2020

39

Specifying and executing behavioral requirements: the play-in/play-out approach

David Harel, Rami Marelly

Journal:

Software & Systems Modeling

Year:

2003

Language:

english

File:

PDF, 1.65 MB

english, 2003

40

Drawing Huge Graphs by Algebraic Multigrid Optimization

Koren, Yehuda, Carmel, Liran, Harel, David

Journal:

Multiscale Modeling and Simulation

Year:

2003

Language:

english

File:

PDF, 1.03 MB

english, 2003

41

Enquête sur la prise en charge de la douleur aiguë dans les services d’urgences adultes du réseau régional douleur de Basse-Normandie

Harel, David, Delorme, Claire, Thibon, Pascal, Leroux, Catherine, Labidi, Magali, Juret, Céline, Lamoureux, Jean-Étienne

Journal:

Douleurs : Evaluation - Diagnostic - Traitement

Year:

2005

Language:

french

File:

PDF, 372 KB

french, 2005

42

Induced resistance to foliar diseases by soil solarization and Trichoderma harzianum

Okon Levy, N., Meller Harel, Y., Haile, Z. M., Elad, Y., Rav-David, E., Jurkevitch, E., Katan, J.

Journal:

Plant Pathology

Year:

2015

Language:

english

File:

PDF, 608 KB

english, 2015

43

[North-Holland Mathematics Studies] Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 Volume 102 || Recurring Dominoes: Making the Highly Undecidable Highly Understandable

Year:

1985

Language:

english

File:

PDF, 1.04 MB

english, 1985

44

The α / β hydrolase fold

Ollis, David L., Cheah, Eong, Cygler, Miroslaw, Dijkstra, Bauke, Frolow, Felix, Franken, Sybille M., Harel, Michal, Remington, S. Jamse, Silman, Israel, Schrag, Joseph, Sussman, Joel L., Verschueren,

Journal:

Protein Engineering Design and Selection

Year:

1992

Language:

english

File:

PDF, 6.63 MB

english, 1992

45

Behavioral programming

Harel, David, Marron, Assaf, Weiss, Gera

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 2.57 MB

english, 2012

46

[IEEE 2011 IEEE 19th International Conference on Program Comprehension (ICPC) - Kingston, ON, Canada (2011.06.22-2011.06.24)] 2011 IEEE 19th International Conference on Program Comprehension - On Visualization and Comprehension of Scenario-Based Programs

Eitan, Nir, Gordon, Michal, Harel, David, Marron, Assaf, Weiss, Gera

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

47

Early developmental trajectories of preterm infants

Yaari, Maya, Mankuta, David, Harel- Gadassi, Ayelet, Friedlander, Edwa, Bar-Oz, Benjamin, Eventov-Friedman, Smadar, Maniv, Nimrod, Zucker, David, Yirmiya, Nurit

Journal:

Research in Developmental Disabilities

Year:

2017

Language:

english

File:

PDF, 712 KB

english, 2017

48

Concurrency in Biological Modeling: Behavior, Execution and Visualization

David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1009 KB

english, 2008

49

Randomized Graph Drawing with Heavy-Duty Preprocessing

David Harel, Meir Sardas

Journal:

Journal of Visual Languages & Computing

Year:

1995

File:

PDF, 690 KB

1995

50

Treatment of Aspirin-Resistant Patients With Omega-3 Fatty Acids Versus Aspirin Dose Escalation

Eli I. Lev, Alejandro Solodky, Naama Harel, Aviv Mager, David Brosh, Abid Assali, Milton Roller, Alexander Battler, Neal S. Kleiman, Ran Kornowski

Journal:

Journal of the American College of Cardiology

Year:

2010

Language:

english

File:

PDF, 561 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски